Instantial existentiation/IE: von "Fw" zu "(Ex)Fx"
EI">
Psychologie Lexikon der ArgumenteHome | |||
| |||
Universelle Instantiierung, Logik: unter der Voraussetzung, dass alle Objekte x die Eigenschaft F haben, kann man schließen, dass ein bestimmtes Objekt, das benannt werden kann, die Eigenschaft F hat. Siehe auch Universelle Generalisierung, Existentielle Generalisierung._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Peter Geach über Universelle Instanziierung – Lexikon der Argumente
I 142f Universelle Instantiantiierung/UI/Geach: Bsp von "(x)Fx" zu "Fw". Instantial existentiation/IE: von "Fw" zu "(Ex)Fx" EI: existenielle Instantiierung: von (Ex)Fx zu Fw . IU: instantial Universalization : von "Fw" zu "(x)Fx". ((s) Wenn ein beliebiges w F ist, dann ist alles F). Geach: ein Beweis mit IU kann durch einen ersetzt werden, der nur EI benutzt. IE und UI sind auch in nicht-shakespearischen Kontexten gültig. >Terminologie/Geach. ((s) Shakespearisch: Bsp "Eine Rose würde duften, auch wenn sie nicht Rose hieße." - Nicht-Shakespearisch: hier kann nicht jeder Name eingesetzt werden, wegen Opazität). >Identifikation/Geach._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Gea I P.T. Geach Logic Matters Oxford 1972 |